Futatsugi, Kokichi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

To use or not to use the goto statement: Programming styles viewed from Hoare Logic

Hidetaka Kondoh, Kokichi Futatsugi

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 745 KB

english, 2006

2

Knowledge management in academia: survey, analysis and perspective

Tian, Jing, Nakamori, Yoshiteru, Xiang, Jianwen, Futatsugi, Kokichi

Journal:

International Journal of Management and Decision Making

Year:

2006

Language:

english

File:

PDF, 528 KB

english, 2006

3

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Towards Formal Description of Standards for Automotive Operating Systems

Yatsu, Hirokazu, Ando, Takahiro, Kong, Weiqiang, Hisazumi, Kenji, Fukuda, Akira, Aoki, Toshiaki, Futatsugi, Kokichi

Year:

2013

Language:

english

File:

PDF, 145 KB

english, 2013

4

[IEEE 2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Chon Buri (2014.5.14-2014.5.16)] 2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE) - An incremental approach to local equality predicates in OBJ specification languages

Nakamura, Masaki, Futatsugi, Kokichi

Year:

2014

Language:

english

File:

PDF, 186 KB

english, 2014

5

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - A Modelling Framework to Support Internal Control

Komoto, Takafumi, Taguchi, Kenji, Mouratidis, Haralambos, Yoshioka, Nobukazu, Futatsugi, Kokichi

Year:

2011

Language:

english

File:

PDF, 1.64 MB

english, 2011

6

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Principles of OBJ2

Futatsugi, Kokichi, Goguen, Joseph A., Jouannaud, Jean-Pierre, Meseguer, José

Year:

1985

Language:

english

File:

PDF, 1.50 MB

english, 1985

7

Modeling and verification of real-time systems based on equations

Kazuhiro Ogata, Kokichi Futatsugi

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 358 KB

english, 2007

8

[Lecture Notes in Computer Science] Software Security - Theories and Systems Volume 3233 || Detecting Unknown Computer Viruses – A New Approach –

Futatsugi, Kokichi, Mizoguchi, Fumio, Yonezaki, Naoki

Year:

2004

Language:

english

File:

PDF, 613 KB

english, 2004

9

SPECIFICATION AND VERIFICATION OF WORKFLOWS WITH RBAC MECHANISM AND SoD CONSTRAINTS

KONG, WEIQIANG, OGATA, KAZUHIRO, FUTATSUGI, KOKICHI

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

10

[Lecture Notes in Computer Science] Algebra, Meaning, and Computation Volume 4060 || Sheaves and Structures of Transition Systems

Futatsugi, Kokichi, Jouannaud, Jean-Pierre, Meseguer, José

Year:

2006

Language:

english

File:

PDF, 225 KB

english, 2006

11

Formalization and Verification of Behavioral Correctness of Dynamic Software Updates

Zhang, Min, Ogata, Kazuhiro, Futatsugi, Kokichi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 238 KB

english, 2013

12

[ACM Press the 2nd International Conference - Cairo, Egypt (2008.12.01-2008.12.04)] Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance - ICEGOV '08 - Checking assignments of controls to risks for internal control

Arimoto, Yasuhito, Kudoh, Michiharu, Watanabe, Yuji, Futatsugi, Kokichi

Year:

2008

Language:

english

File:

PDF, 483 KB

english, 2008

13

CRÈME: AN AUTOMATIC INVARIANT PROVER OF BEHAVIORAL SPECIFICATIONS

NAKANO, MASAHIRO, OGATA, KAZUHIRO, NAKAMURA, MASAKI, FUTATSUGI, KOKICHI

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2007

Language:

english

File:

PDF, 677 KB

english, 2007

14

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - A Method for Assessing the Reliability of Business Processes that Reflects Transaction Documents Checking for each Department

Komoto, Takafumi, Futatsugi, Kokichi, Yoshioka, Nobukazu

Year:

2020

File:

PDF, 470 KB

2020

15

[Lecture Notes in Computer Science] Software Security - Theories and Systems Volume 3233 ||

Futatsugi, Kokichi, Mizoguchi, Fumio, Yonezaki, Naoki

Year:

2004

Language:

english

File:

PDF, 4.00 MB

english, 2004

16

Propagating changes in algebraic specifications

Nakagawa, Ataru T., Futatsugi, Kokichi

Journal:

Software Engineering Journal

Year:

1991

Language:

english

File:

PDF, 1.04 MB

english, 1991

17

On Markov chains generated by Markovian controlled Markov systems— I. ergodic properties

Yasuo Komota, Kokichi Futatsugi, Masayuki Kimura

Journal:

Mathematical Biosciences

Year:

1976

Language:

english

File:

PDF, 1.25 MB

english, 1976

18

[IEEE 2008 8th IEEE International Conference on Computer and Information Technology (CIT) - Sydney, Australia (2008.07.8-2008.07.11)] 2008 8th IEEE International Conference on Computer and Information Technology - Trace anonymity in the OTS/CafeOBJ method

Weiqiang Kong,, Kazuhiro Ogata,, Jian Cheng,, Kokichi Futatsugi,

Year:

2008

Language:

english

File:

PDF, 165 KB

english, 2008

19

[Lecture Notes in Computer Science] Software Security - Theories and Systems Volume 3233 || Formal Analysis of the NetBill Electronic Commerce Protocol

Futatsugi, Kokichi, Mizoguchi, Fumio, Yonezaki, Naoki

Year:

2004

Language:

english

File:

PDF, 219 KB

english, 2004

20

Rewriting-Based Verification of Authentication Protocols

Kazuhiro Ogata, Kokichi Futatsugi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 266 KB

english, 2004

21

[ACM Press the 11th international conference - Pittsburgh, Pennsylvania, United States (1989..-..)] Proceedings of the 11th international conference on Software engineering - ICSE '89 - Stepwise refinement process with modularity

Nakagawa, Ataru T., Futatsugi, Kokichi

Year:

1989

Language:

english

File:

PDF, 1.09 MB

english, 1989

22

Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 599 KB

english, 2010

23

[IEEE 2015 Asia-Pacific Software Engineering Conference (APSEC) - New Delhi (2015.12.1-2015.12.4)] 2015 Asia-Pacific Software Engineering Conference (APSEC) - Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates

Zhang, Min, Ogata, Kazuhiro, Futatsugi, Kokichi

Year:

2015

Language:

english

File:

PDF, 844 KB

english, 2015

24

Formal Verification of Effectiveness of Control Activities in Business Processes

ARIMOTO, Yasuhito, IIDA, Shusaku, FUTATSUGI, Kokichi

Journal:

IEICE Transactions on Information and Systems

Year:

2012

Language:

english

File:

PDF, 822 KB

english, 2012

25

Flaw and modification of the iKP electronic payment protocols

Kazuhiro Ogata, Kokichi Futatsugi

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 84 KB

english, 2003

26

Analysis of membership sharing problem in digital subscription services

Xiang, Jianwen, Tian, Jing, Ogata, Kazuhiro, Futatsugi, Kokichi, Mori, Akira

Journal:

International Journal of Revenue Management

Year:

2009

Language:

english

File:

PDF, 271 KB

english, 2009

27

[AMAST Series in Computing] Cafeobj Report Volume 6 (The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification) || BACK MATTER

Diaconescu, Razvan, Futatsugi, Kokichi

Year:

1998

Language:

english

File:

PDF, 2.92 MB

english, 1998

28

Constructing projection frequent pattern tree for efficient mining

Xiang Jian-wen, He Yan-xiang, Kokichi Futatsugi, Kong Wei-qiang

Journal:

Wuhan University Journal of Natural Sciences

Year:

2003

Language:

english

File:

PDF, 681 KB

english, 2003

29

[Lecture Notes in Computer Science] Algebra, Meaning, and Computation Volume 4060 || A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages

Futatsugi, Kokichi, Jouannaud, Jean-Pierre, Meseguer, José

Year:

2006

Language:

english

File:

PDF, 446 KB

english, 2006

30

PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS

OGATA, KAZUHIRO, FUTATSUGI, KOKICHI

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2010

Language:

english

File:

PDF, 377 KB

english, 2010

31

A Maude environment for CafeOBJ

Riesco, Adrián, Ogata, Kazuhiro, Futatsugi, Kokichi

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 677 KB

english, 2017

32

Preface: Volume 36

Kokichi Futatsugi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 38 KB

english, 2000

33

Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method

Kazuhiro Ogata, Kokichi Futatsugi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 389 KB

english, 2008

34

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Verifying Specifications with Proof Scores in CafeOBJ

FUTATSUGI, Kokichi

Year:

2006

Language:

english

File:

PDF, 130 KB

english, 2006

35

[IEEE 2006 Sixth International Conference on Quality Software (QSIC'06) - Beijing, China (2006.10.27-2006.10.27)] 2006 Sixth International Conference on Quality Software (QSIC'06) - Automating Invariant Verification of Behavioral Specifications

Nakano, Masahiro, Ogata, Kazuhiro, Nakamura, Masaki, Futatsugi, Kokichi

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

36

[Lecture Notes in Computer Science] Object Technologies for Advanced Software Volume 1049 || Adaptive parameter passing

Futatsugi, Kokichi, Matsuoka, Satoshi

Year:

1996

File:

PDF, 1008 KB

1996

37

Mechanically supporting case analysis for verification of distributed systems

Seino, Takahiro, Ogato, Kazuhiro, Futatsugi, Kokichi

Journal:

International Journal of Pervasive Computing and Communications

Year:

2005

Language:

english

File:

PDF, 300 KB

english, 2005

38

User-Defined On-Demand Matching

NAKAMURA, Masaki, OGATA, Kazuhiro, FUTATSUGI, Kokichi

Journal:

IEICE Transactions on Information and Systems

Year:

2009

Language:

english

File:

PDF, 271 KB

english, 2009

39

[ACM Press the 1999 ACM symposium - San Antonio, Texas, United States (1999.02.28-1999.03.02)] Proceedings of the 1999 ACM symposium on Applied computing - SAC '99 - Optimizing term rewriting using discrimination nets with specialization

Ogata, Kazuhiro, Ioroi, Shigenori, Futatsugi, Kokichi

Year:

1999

Language:

english

File:

PDF, 837 KB

english, 1999

40

Logical foundations of CafeOBJ

Răzvan Diaconescu, Kokichi Futatsugi

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 297 KB

english, 2002

41

[Lecture Notes in Computer Science] Object Technologies for Advanced Software Volume 1049 || Subtyping by constraints in object-oriented databases

Futatsugi, Kokichi, Matsuoka, Satoshi

Year:

1996

Language:

english

File:

PDF, 1.12 MB

english, 1996

42

[ACM Press the 1st international conference - Macao, China (2007.12.10-2007.12.13)] Proceedings of the 1st international conference on Theory and practice of electronic governance - ICEGOV '07 - Formal support for e-government system design with transparency consideration

Chen, Xiaoyi, Kong, Weiqiang, Futatsugi, Kokichi

Year:

2007

Language:

english

File:

PDF, 312 KB

english, 2007

43

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 562 KB

english, 2006

44

Test Set Coinduction -- Toward Automated Verification of Behavioural Properties —

Michihiro Matsumoto, Kokichi Futatsugi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 1.28 MB

1998

45

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - An object-oriented modeling method for algebraic specifications in CafeOBJ

Nakajima, Shin, Futatsugi, Kokichi

Year:

1997

Language:

english

File:

PDF, 1.53 MB

english, 1997

46

Stability of termination and sufficient-completeness under pushouts via amalgamation

GÄinÄ, Daniel, Nakamura, Masaki, Ogata, Kazuhiro, Futatsugi, Kokichi

Journal:

Theoretical Computer Science

Year:

2020

File:

PDF, 621 KB

2020

47

A tool that supports highly reliable component-based software development

Michihiro Matsumoto, Kokichi Futatsugi

Journal:

Electronics and Communications in Japan (Part II: Electronics))

Year:

2004

Language:

english

File:

PDF, 1.88 MB

english, 2004

48

Principles of proof scores in CafeOBJ

Futatsugi, Kokichi, Găină, Daniel, Ogata, Kazuhiro

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 374 KB

english, 2012

49

[IEEE 2007 International Conference on Wireless Communications, Networking and Mobile Computing - Shanghai, China (2007.09.21-2007.09.25)] 2007 International Conference on Wireless Communications, Networking and Mobile Computing - A License Language Design and Analysis for E-Government

Chen, Xiaoyi, Xiang, Jianwen, Bjorner, Dines, Futatsugi, Kokichi

Year:

2007

Language:

english

File:

PDF, 172 KB

english, 2007

50

An Overview of CafeOBJ

Răzvan Diaconescu, Kokichi Futatsugi, Makoto Ishisone, Ataru T. Nakagawa, Toshimi Sawada

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 779 KB

1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски